Large Lukasiewicz Logic Arrays
نویسندگان
چکیده
Lukasiewicz logic arrays (LLAs) are analog VLSI circuits structured as trees of continuous-valued implications. First described in 1990, LLAs are now nding uses as applicationspeci c array processors for image processing, fuzzy inference, and robotic control. Yet an early question persists: Why do LLAs work? Intuitively, a small error should build up through successive implications of an arbitrarily deep Lukasiewicz logic array (LLA) and render the output unusable, yet LLAs fabricated in normal MOSIS runs are typically precise to 10 bits. Analog neural nets are comparably robust. We compared the information capacity of a 31-cell LLA and a baseline circuit consisting of simple wires. The results indicate that the LLA preserves approximately 3/4 bit less information per input than the baseline circuit. The magnitude of the error is not a function of the number of implications in the LLA. Functional and electrical simulations suggest that information loss in an LLA increases less than linearly with circuit size. Our hypothesis, based on information theory, is that random noise in one node partially cancels the error introduced by previous nodes. In arbitrarily large LLAs random noise acts to correct errors in analog values without having to encode them. The LLA is inherently and probabilistically error-correcting. We close by discussing circuits that we are fabricating to verify the hypothesis by measuring information loss at multiple points within an LLA.
منابع مشابه
Probabilistic Error Correction in Arbitrarily Large Lukasiewicz Logic Arrays
Lukasiewicz logic arrays (LLAs) are analog VLSI circuits structured as trees of continuous-valued implications. First described in 1990, LLAs are now nding uses as applicationspeci c array processors for image processing, fuzzy inference, and robotic control. Yet an early question persists: Why do LLAs work? Intuitively, a small error should build up through successive implications of an arbitr...
متن کاملSOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC
In this paper, based in the L ukasiewicz logic, the definition offuzzifying soft neighborhood structure and fuzzifying soft continuity areintroduced. Also, the fuzzifying soft proximity spaces which are ageneralizations of the classical soft proximity spaces are given. Severaltheorems on classical soft proximities are special cases of the theorems weprove in this paper.
متن کاملSome consequences of compactness in Lukasiewicz Predicate Logic
The Loś-Tarski Theorem and the ChangLoś-Susko Theorem, two classical results in Model Theory, are extended to the infinitevalued Lukasiewicz logic. The latter is used to settle a characterisation of the class of generic structures introduced in the framework of model theoretic forcing for Lukasiewicz logic [1]. Key-words: First Order Many-Valued Logic, Lukasiewicz logic, Model Theory.
متن کاملSome Investigations with Laser Beams on an Lla Retina
The LLA Retina combines Lukasiewicz logic arrays (LLAs) with photo-sensor clusters to work as a fuzzy edge detection mechanism and several other applications. In this presentation we have explored various approaches to excite and evaluate the device with several types of light sources including visible and infra-red laser beams. Based on the detailed studies on the device, one particular config...
متن کاملOn Affine Logic and Łukasiewicz Logic
The multi-valued logic of Lukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation elimination, [DNE]. However, our understanding of Lukasiewicz logic can be improved by separating its classical and intuitionistic aspects. The intuitionistic aspect of Lukasiewicz logic ...
متن کامل